3765 search results - page 113 / 753 » Formal Methods for Systems Engineering Behavior Models |
117
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
130
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
111
Voted
MOMPES
2008
IEEE
15 years 9 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
122
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
117
click to vote
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Search engine click logs provide an invaluable source of relevance information but this information is biased because we ignore which documents from the result list the users have...