Sciweavers

5180 search results - page 84 / 1036
» Concurrency, Time, and Constraints
Sort
View
PPDP
2005
Springer
15 years 12 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...
ICTAC
2004
Springer
15 years 11 months ago
Verifying Linear Duration Constraints of Timed Automata
Pham Hong Thai, Dang Van Hung
IUI
1999
ACM
15 years 10 months ago
Making Systems Sensitive to the User's Time and Working Memory Constraints
Anthony Jameson, Ralph Schäfer, Thomas Weis, ...