5757 search results - page 357 / 1152 » Dynamic Policy Programming |
156
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
195
Voted
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
191
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
180
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
170
click to vote
ECOOP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...