426 search results - page 68 / 86 » Towards Verifying Model Transformations |
COCOON
2003
Springer
14 years 3 months ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
NDSS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we analyze a new class of pulsing denialof-service (PDoS) attacks that could seriously degrade the throughput of TCP flows. During a PDoS attack, periodic pulses of...
ICFEM
2005
Springer
14 years 3 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...