10406 search results - page 129 / 2082 » Using RDF to Model the Structure and Process of Systems |
138
click to vote
SCP
2010
15 years 1 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
145
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
We present a novel stereo vision modeling framework that generates approximate, yet physically-plausible representations of objects rather than creating accurate models that are c...
111
click to vote
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
168
click to vote
ESWS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
115
click to vote
FORTE
2001
15 years 4 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...