4666 search results - page 785 / 934 » Equations on Timed Languages |
138
click to vote
CSFW
2003
IEEE
15 years 9 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...
122
click to vote
DATE
2003
IEEE
15 years 9 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 ...
138
click to vote
IEEEAMS
2003
IEEE
15 years 9 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...
140
Voted
IEEEICCI
2003
IEEE
15 years 9 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...
119
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...