2604 search results - page 263 / 521 » General constant expressions for system programming language... |
141
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
149
click to vote
COMGEO
2010
ACM
15 years 7 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
117
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
126
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
PNPM
1989
15 years 8 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...