Sciweavers

158 search results - page 13 / 32
» A Principled Foundation for LCS
Sort
View
IJCAI
1997
15 years 7 months ago
Anytime Belief Revision
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
Mary-Anne Williams
GRC
2008
IEEE
15 years 6 months ago
Granular Problem Solving and Software Engineering
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
Haibin Zhu
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
15 years 5 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
AAMAS
2007
Springer
15 years 5 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
IJSN
2006
116views more  IJSN 2006»
15 years 5 months ago
Secure collaborations over message boards
: We provide a message board model for collaborative systems, and propose an architecture and protocol for securing collaborative applications over message boards. The proposed arc...
Mahalingam Ramkumar, Nasir D. Memon