2500 search results - page 86 / 500 » Specifying Behavior in C |
132
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
112
Voted
MOBICOM
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes an e-mail system for wearable computing environments. In this system, we extend the conventional mail format and the server/client(browser) architecture by co...
111
Voted
FORTE
2008
15 years 4 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...
168
Voted
FBT
2000
15 years 3 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
130
click to vote
AAAI
1996
15 years 3 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...