Search Results

Search found 33291 results on 1332 pages for 'development environment'.

Page 240/1332 | < Previous Page | 236 237 238 239 240 241 242 243 244 245 246 247  | Next Page >

• How can I make a career in Formal Methods programming in USA?

  - by A5al Andy

  I've found that my (USA) professors recoil with a near-disgust when I ask them about how to pursue a career in Formal Methods programming. They say, "Oh, that stuff! That stuff is anal. You don't need that European POS to get a job." I'm sure I'll get a job without it, but Formal Methods interests me so much that I bet I'd like to make a career of it. I'd like to learn about Formal Methods at an American University and then work in that field here. I've found that even professors at more important universities than mine don't seem to welcome Formal Methods. Almost all FM research project webpages are semi-abandoned and moldering. Europe is where the action seems to be for this. Can anyone suggest a plan of attack, and along the way explain the antipathy to Formal Methods in the US? I'm a sophomore at a public university in the South.

  Read the article

• Pharo/Squeak and GemStone?

  - by Friedrich

  May I ask who has used this combination and how good that has worked? What about ease of deployment also? Especially interesting would be in conjunction with either Seaside or Aida/Web...

  Read the article

• To be effective on your home projects is it better using the same technologies used at work?

  - by systempuntoout

  To be more productive and effective, is it better to start developing an home project using the same technologies used at work? I'm not talking about a simple hello world web page but an home project with all bells and whistles that one day, maybe, you could sell on internet. This dilemma is often subject of flames between me and a friend. He thinks that if you want to make a great home-made project you need to use the same technologies used daily at work staying in the same scope too; for example, a c++ computer game programmer should develope an home-made c++ game. I'm pretty sure that developing using the same technologies used at work can be more productive at beginning, but surely less exciting and stimulating of working with other languages\ides\libraries out of your daily job. What's your opinion about that?

  Read the article

• Good Administration Center Templates

  - by Alec Smart

  Hello, This may not be a programming question per se. But I am wondering what template do you use for your sites/webapps admin centers. Am looking primarily at free templates that give a basic structure. I know I can build my own, but I haven't had too much success in something that works for all my webapps/sites. Wondering if there is something nice and comprehensive available. Thank you for your time.

  Read the article

• How to get AppName() BlackBerry

  - by Yuriy

  Hi all! Please can anybody help me with my issue - is it possible to getApplicationName() in some way in Blackberry? Thunks in advance!!!

  Read the article

• Integrate website backend with forum software?

  - by Msencenb

  I am designing a php/mysql website that will have a members are and a separate "forum" section. Should I just use the forum software as my "login/registration"? If this is the case should I go with VBulletin, Invision, phpBB3 or something different? Or should I roll my own single sign on hack? Or something completely different?

  Read the article

• Automatically select option from select menu with link

  - by Ben

  Hello there, I am trying to use php (and if not php, javascript) to link to a page and include a "?type=foo" or "#foo" at the end of the link so that when the linked page loads it will automatically select a specific option, depending on the end of the link, from a dropdown menu in a form. I have tried to search for this but do not know what this action is actually called, but I've seen it done before. Does anyone know how to achieve this? Thanks very much.

  Read the article

• $_SERVER['HTTP_X_REQUESTED_WITH'] seemingly not available on PHP 5.1.6

  - by kenny99

  Hi, I've run into a problem on a server running php 5.1.6 - the code i use to detect ajax requests isn't working as the $_SERVER['HTTP_X_REQUESTED_WITH'] variable is missing from the $_SERVER array. The same code works fine on php 5.2 and in firebug i can see the headers include X-Requested-With XMLHttpRequest. Anyone know any more about this issue and how I can get round it? Thanks in advance.

  Read the article

• How to give you website customers a secure feeling

  - by Saif Bechan

  I was wondering how you can give your website customers the confidence that you are not tinkering with the database values. I am planning on running a website which falls in the realm of an online game. There is some kind of credit system involved that people have to pay for. Now I was wondering how sites like this ensure there customers that there is no foul play in the database itself. As I am the database admin i can pretty much change all the values from within without anyone knowing i did. Hence letting someone win that does not rightfully is the winner. Is it maybe an option to decrypt en encrypt the credits people have so i can't change them. Or is there maybe a company i can hire that checks my company for foul play.

  Read the article

• OpenGL ES clarifying question regarding FBOs -- sorry can't find this info anywhere else?

  - by DevDevDev

  If I instantiate an FBO without binding a rendering buffer or a texture to it, what happens when I draw to it, nothing? Do I need to associate a rendering target (renderbuffer or texture) to have an FBO do anything? What I'm trying to do is precache some buffers and then merge them later, but that doesn't seem to work at all. Ideally I'd like to do something like glBindFramebufferOES(GL_FRAMEBUFFER_OES, fbo1); // Draw some stuff to fbo1 glBindFramebufferOES(GL_FRAMEBUFFER_OES, fbo2); // Draw some stuff to fbo2 // ... // ... // glRenderFbo(fbo1); -- Not a func // Set blending, etc. etc. // glRenderFbo(fbo2); -- Not a func

  Read the article

• A free Step by Step guide to learning Sparx Enterprise Architect

  - by Yogi Yang 007

  I have just downloaded Sparx Enterprise Architect 7.5 but unfortunately I am not able to find a getting started guide or something like that. I have gone through official site of Sparx but there is not step by step guide to learning Sparx EA. I want a guide that will implement a small project and give instructions step by step so that I can understand and try out Sparx EA. I did find a few sites selling step by step guides but at this point of time I do not want to spend money on them.

  Read the article

• Modifying generator.yml views in Symfony

  - by Alex Ciminian

  Hey! I'm currently working on a web app written in Symfony. I'm supposed to add an "export to CSV" feature in the backend/administration part of the app for some modules. In the list view, there should be an "Export" button which should provide the user with a csv file of the elements that are displayed (considering filtering criteria). I've created a method in the actions class of the module that takes a comma separated list of ids and generates the CSV, but I'm not really sure how to add the link to it in the view. The problem is that the view doesn't exist anywhere, it's generated on the fly from the data in the generator.yml configuration file. I've posted the relevant part of the file below. list: display: [=name, indemn, _status, _participants, _approved_, created_at] title: Lista actiuni object_actions: _edit: ~ _delete: ~ filters: [name, county_id, _status_filter, activity_id] fields: name: name: Nume Actiune indemn: name: Îndemn la actiune description: name: Descriere approved_: name: Operatiune created_at: name: Creata la status: name: Status Actiune I'm new to Symfony, so any help would be appreciated :). Thanks, Alex

  Read the article

• Scalable Ticketing / Festival Website

  - by Luke Lowrey

  I've noticed major music festivals (at least in Australia) and other events that experience a peak in traffic when tickets go on sale have huge problems keeping their websites running well. I've seen a few different techniques used to try combat this such as short sessions and virtual queues but they dont seem to have much effect. If you were to design a website to sell a lot of tickets in a short amount of time how would you handle scalability? What technologies and programming techniques would you use?

  Read the article

• how to place last div into right top corner of parent div? (css)

  - by Radek

  can I somehow using css place the block2 in right top corner of block1? Note that block2 must be the (very) last inside html code of block1 or it could be placed after block1. I cannot make it the first element in block1 <html> <head> <style type="text/css"> .block1 {color:red;width:100px;border:1px solid green;} .block2 {color:blue;width:70px;border:2px solid black;position:relative;} </style> </head> <body> <div class='block1'> <p>text</p> <p>text2</p> <div class='block2'>block2</DIV> </div> </body> </html>

  Read the article

• How switch UIViewController by flip from 3 controllers ?

  - by Sergey

  Hello, all. I've got next problem: i've got 3 UIViewController and need to switch controllers by UIModalTransitionStyleFlipHorizontal. Next code working fine: testController.modalTransitionStyle = UIModalTransitionStyleFlipHorizontal; [self presentModalViewController:testController animated:YES]; where testController - next controller to switch, self - current controller. And when i've set 3rd controller - it's working fine, but i have problem with back to first controller - when i back to first controller - i can't go to second controller. 1 - 2 - 3 - 1 - it's working fine, but - 2 - don't show. what's mistake ?

  Read the article

• Daemon with Clojure/JVM

  - by Isaac Copper

  I'd like to have a small (not doing too damn much) daemon running on a little server, watching a directory for new files being added to it (and any directories in the main one), and calling another Clojure program to deal with that new file. Ideally, each file would be added to a queue (a list represented by a ref in Clojure?) and the main process would take care of those files in the queue on a FIFO basis. My question is: is having a JVM up running this little program all the time too much a resource hog? And do you have any suggestions as to how go about doing this? Thank you very much!

  Read the article

• why do people still use tables, inline css, et al?

  - by aharon

  When you learn HTML and so forth nowadays, the mantra is always "Clean code = better code". So why do sites like Mobile Me and Google and Facebook all use huge amounts of tables and other not-semantically correct code? Thanks!

  Read the article

• Can I create object names from a text file in Python 2.7?

  - by user560100

  I'm working on a game project. I've created an object, Star(Object). I want to assign the name of the variables, dynamically, from a text file. If I have a text file with: Sol Centauri Vega I want the program to create the Star(Object) with variable names from the text file. I want the process automated, because I'm looking to create hundreds of stars. I could write the code out by hand: Sol = Star(Sol) Centauri = Star(Centauri) Vega = Star(Vega) But isn't there a way to automate this? Essentially, what I eventually want is a tuple with the list of stars, as their own objects. Then, when I am doing game maintenance, I can just iterate over all the objects in the tuple.

  Read the article

• What languages, preprocessors, and toolkits will Apple not allow you to develop iPhone OS 4.0 Apps w

  - by Tony Lambert

  According to articles on web Apple will not approve Apps that have code that is not originally developed in Objective C, C or C++. Found on the Web: 3.3.1 Applications may only use Documented APIs in the manner prescribed by Apple and must not use or call any private APIs. Applications must be originally written in Objective-C, C, C++, or JavaScript as executed by the iPhone OS WebKit engine, and only code written in C, C++, and Objective-C may compile and directly link against the Documented APIs (e.g., Applications that link to Documented APIs through an intermediary translation or compatibility layer or tool are prohibited). Can we build a list of things developer use that will and won't be allowed under these possible new rules? We can use: C, C++, Objective C We can't use: Flash, Monotouch C#, Pascal, Fortran, Perl, Python, Lex, Yacc, Unity (games engine), Java What others?

  Read the article

• How can I make a steady automata in JavaScript?

  - by RobertWHurst

  I'm working on a JavaScript game and I've got an automata system controlling game time and sprite animation as well as giving a hand to the path finding system for timing and such. My problem is on slow browsers the JavaScript loop I'm using for counting the time is not very accurate. It tends to jump around a lot. I there a way to force the loop to run consistently at 30 fps? The automata can drop frames if it needs to catch up so if the solution requires dropping frames that's ok.

  Read the article

• Create method to handle multiple types of controls

  - by Praesagus

  I am trying to create a method that accepts multiple types of controls - in this case Labels and Panels. The conversion does not work because IConvertible doesn't convert these Types. Any help would be so appreciated. Thanks in advance public void LocationsLink<C>(C control) { if (control != null) { WebControl ctl = (WebControl)Convert.ChangeType(control, typeof(WebControl)); Literal txt = new Literal(); HyperLink lnk = new HyperLink(); txt.Text = "If you prefer a map to the nearest facility please "; lnk.Text = "click here"; lnk.NavigateUrl = "/content/Locations.aspx"; ctl.Controls.Add(txt); ctl.Controls.Add(lnk); } }

  Read the article

• Options to develop professionally with Microsoft tools and Technologies without spending a lot?

  - by iama

  I would like to develop applications for the Windows platform & at the very least I need a server based Windows OS (2008), SQL Server, IIS and Visual Studio. Looks like VS2010 professional alone will cost over $1K. Is there a cheaper option to get hold of Microsoft software? I remember long time ago there was an MSDN subscription option which allowed user access to server based OS and other server applications with restrictive licensing that was cost effective. I don't see that option anymore. Moreover, I am not a student & I understand Microsoft provides software at discounted rates for students. Any pointers? Many thanks.

  Read the article

• Managing Unique IDs in stateless (web) DB4O applications

  - by Phil.Wheeler

  I'm playing around with building a new web application using DB4O - piles of fun and some really interesting stuff learned. The one thing I'm struggling with is DB4O's current lack of support for stateless applications (i.e. web apps, mostly) and the need for automatically-generated IDs. There are a number of creative and interesting approaches that I've been able to find that hook into DB4O's events, use GUIDs rather than numeric IDs or for whatever reason avoid using any system of ID at all. While each approach has its merits, I'm wondering if the less-elegant approach might equally be the best fit. Consider the following pseudo-code: If ID == 0 or null Set ID = (typeof(myObject)).Count myObject.Save It seems like such a blindingly simple approach, it's usually about here that I start thinking, "I've missed something really obvious". Have I?

  Read the article

• Rhapsody TestConductor Experiences

  - by vaiomike

  I was wondering whether anybody out there is actively using Rhapsody TestConductor? Or has tried it for a while, but then decided to turn it down for a particular reason? If so, what are your experiences, in which field do you apply it, what are the shortcomings, or why did you turn it down? At the moment we're considering TestConductor as our tool of choice for testing as it's already integrated into Rhapsody, and would like to find out how applicable it is to our project (btw, we're using Rhapsody 7.4 in C). P.S: Recommendations on good books about Model Based Testing are also appreciated.

  Read the article

• Does <httpRedirect> in web.config work in a mono setup? Or is it IIS7 specific?

  - by Crystal

  We had some content restructure recently and I'd like to put in some redirect rules into web.config so bookmarks to the old pages can get routed to their new locations/pages. I tried using this approach: <location path="~/product/productA.aspx"> <system.webServer> <httpRedirect enabled="true" destination="~/product/category/productA.aspx" exactDestination="false" childOnly="true" httpResponseStatus="Permanent" /> </system.webServer> </location> But all I'm getting when I go to "http://www.oursite.com/product/productA.aspx" is our http 404 page. Am I doing something wrong, or is the httpRedirect tag in web.config not supported in mono? worked, but not ideal for what we want to achieve. Thank you :)

  Read the article

< Previous Page | 236 237 238 239 240 241 242 243 244 245 246 247  | Next Page >