5198 search results - page 443 / 1040 » A Logic of Agent Programs |
162
Voted
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
211
click to vote
AAAI
2010
15 years 8 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
150
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
148
click to vote
IAT
2005
IEEE
16 years 12 days ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
182
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...