439 search results - page 8 / 88 » On Aperiodic Trace Languages |
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
SIGCOMM
2003
ACM
14 years 29 days ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
CAISE
2003
Springer
14 years 28 days ago
2003
Springer
Scenarios that describe concrete behaviors of system play an important role in system development and in particular requirements engineering. Scenarios are informal, and are diffic...
SIGPLAN
2002
13 years 7 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...