3825 search results - page 472 / 765 » The Language of Time: A Reader |
251
Voted
KBSE
2000
IEEE
15 years 12 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
179
Voted
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
220
click to vote
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
204
click to vote
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
173
click to vote
ASPLOS
2000
ACM
15 years 12 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...