298 search results - page 51 / 60 » UPPAAL - Now, Next, and Future |
NSPW
2006
ACM
15 years 3 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
61
Voted
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Cancers in head and neck tends to spread to nearby lymph nodes. Lymph nodes trap the spreading tumor cells but then the tumor starts to grow in these nodes and then spread further...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— HADOF is a set of mechanisms to defend against routing disruptions in mobile ad hoc networks. Based on the observed behavior and the history record of each node, HADOF aims to ...
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Whereas the established interconnection networks (ICTN) achieve low latency by operating in the linear region, i.e. oversizing the fabric, the recent strict cost and power constrai...
UML
2005
Springer
15 years 3 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...