2730 search results - page 255 / 546 » An Abstract Model for Process Mediation |
159
click to vote
IJDE
2002
15 years 6 months ago
2002
Law enforcement is in a perpetual race with criminals in the application of digital technologies, and requires the development of tools to systematically search digital devices fo...
261
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
141
click to vote
ICA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Visual perception of transformation invariance, such as translation, rotation and scaling, is one of the important functions of processing visual information in the Brain...
168
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
174
click to vote
SE
2008
15 years 8 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...