2556 search results - page 228 / 512 » The Triconnected Abstraction of Process Models |
245
click to vote
TII
2008
15 years 7 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
181
click to vote
CSUR
2000
15 years 7 months ago
2000
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...
167
click to vote
IJDE
2002
15 years 7 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...
167
click to vote
ICA
2007
Springer
16 years 1 months 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...
197
click to vote
TACAS
2004
Springer
16 years 17 days 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...