1036 search results - page 177 / 208 » Incompleteness of Behavioral Logics |
ICCAD
1996
IEEE
14 years 25 days ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
AOSD
2007
ACM
14 years 20 days ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
EATIS
2007
ACM
14 years 18 days ago
2007
ACM
In this paper we propose an ontology based representation of the affective states for context aware applications that allows expressing the complex relations that are among the af...
EUROMICRO
2009
IEEE
14 years 16 days ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
AMAST
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...