548 search results - page 53 / 110 » Adding Real Time to Formal Program Development |
ITNG
2008
IEEE
15 years 6 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
119
click to vote
CONCUR
1992
Springer
15 years 3 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
121
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
126
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...