883 search results - page 73 / 177 » The Semantics of Verilog Using Transition System Combinators |
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
AAAI
2006
13 years 10 months ago
2006
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
RAS
2008
13 years 8 months ago
2008
State-of-the-art methods have recently achieved impressive performance for recognising the objects present in large databases of pre-collected images. There has been much less foc...
ECAI
2004
Springer
14 years 28 days ago
2004
Springer
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...