2736 search results - page 269 / 548 » Understanding programmer language |
158
click to vote
ICESS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
178
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
208
Voted
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
162
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
148
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...