607 search results - page 102 / 122 » Axiomatizing hybrid logic using modal logic |
103
click to vote
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...
WSPI
2004
14 years 11 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
102
click to vote
ROOM
2000
14 years 11 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
155
click to vote
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...
DALT
2009
Springer
15 years 1 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...