3653 search results - page 581 / 731 » On Recognizable Timed Languages |
181
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
170
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
145
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
166
click to vote
IEEEAMS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
164
click to vote
IEEEICCI
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...