1522 search results - page 188 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
111
Voted
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
122
Voted
IEEEAMS
2003
IEEE
15 years 7 months ago
2003
IEEE
Service morphing is a set of techniques used to continuously meet an application’s Quality of Service (QoS) needs, in the presence of run-time variations in service locations, p...
126
click to vote
MM
1996
ACM
15 years 6 months ago
1996
ACM
MAD (Movie Authoring and Design) is a novel design and authoring system that facilitates the process of creating dynamic visual presentations such as motion pictures and lecture-d...
144
Voted
ICMI
2010
Springer
15 years 15 days ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
148
click to vote
DT
2006
15 years 2 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...