557 search results - page 93 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
71
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
IUI
1998
ACM
15 years 1 months ago
1998
ACM
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
BIS
2007
14 years 11 months ago
2007
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
105
click to vote
WONTO
2008
14 years 11 months ago
2008
Abstract. Ontologies constitute an approach for knowledge representation that can be shared establishing a shared vocabulary for different applications and are also the backbone of...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...