548 search results - page 44 / 110 » Adding Real Time to Formal Program Development |
FORTE
2008
14 years 11 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
103
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
AO
2006
14 years 9 months ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
95
Voted
VL
2002
IEEE
15 years 2 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...