882 search results - page 79 / 177 » Allowing State Changes in Specifications |
158
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
179
click to vote
OWLED
2008
15 years 7 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
137
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
165
click to vote
LCPC
2000
Springer
15 years 9 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
138
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...