1809 search results - page 18 / 362 » A Formal Specification of dMARS |
113
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
132
Voted
TII
2010
14 years 8 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
137
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
113
Voted
RISE
2005
Springer
15 years 7 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
94
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer