2688 search results - page 35 / 538 » A formal semantics for P3P |
UML
2001
Springer
15 years 4 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
ENTCS
2007
14 years 11 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
112
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
IJMSO
2008
14 years 11 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
FMOODS
2000
15 years 1 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...