795 search results - page 27 / 159 » A Formal Approach to Heterogeneous Software Modeling |
111
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
105
Voted
CISIS
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
104
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
122
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
109
Voted
AAMAS
2000
Springer
15 years 8 days ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...