5525 search results - page 638 / 1105 » Verification of Model Transformations |
183
click to vote
ICECCS
2005
IEEE
16 years 20 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
193
click to vote
ISMIS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
203
click to vote
RE
2004
Springer
16 years 12 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
152
click to vote
DATE
2002
IEEE
16 years 22 hour ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
220
click to vote
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...