7892 search results - page 304 / 1579 » Programming with Models |
114
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
124
click to vote
HPCC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
104
click to vote
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
102
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...