181 search results - page 30 / 37 » It's About Time: Real-Time Logics Reviewed |
175
click to vote
IJCAI
2003
15 years 7 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
162
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
183
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
171
click to vote
AIM
2006
15 years 6 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
192
click to vote
DELFI
2006
15 years 7 months ago
2006
: Mobile learning has left the status of a new born child. It is time now to implement some structure into the complex and various activities by a framework presented in this paper...