1728 search results - page 183 / 346 » Formal Modeling of Process Migration |
166
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
125
click to vote
UML
1999
Springer
15 years 7 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
111
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
114
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...