3824 search results - page 290 / 765 » Geometry Constructions Language |
123
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
162
click to vote
IFL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
140
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
142
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
125
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...