Sciweavers

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