3229 search results - page 516 / 646 » The Theory of Timed Automata |
189
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...
165
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
137
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we set the first steps towards the development of a commercially viable tool that uses evolutionary computation to address the Product to Shelf Allocation Problem (P...
178
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
167
click to vote
COMPGEOM
1995
ACM
15 years 9 months ago
1995
ACM
A convex polytope P can be speci ed in two ways: as the convex hull of the vertex set V of P, or as the intersection of the set H of its facet-inducing halfspaces. The vertex enum...