2604 search results - page 462 / 521 » General constant expressions for system programming language... |
130
Voted
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
118
Voted
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
152
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
152
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
An expert finding system allows a user to type a simple text query and retrieve names and contact information of individuals that possess the expertise expressed in the query. Thi...
139
Voted
PVLDB
2008
15 years 3 months ago
2008
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...