186 search results - page 19 / 38 » Mechanizing metatheory in a logical framework |
115
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
105
click to vote
INAP
2001
Springer
15 years 4 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
124
click to vote
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
WWW
2007
ACM
16 years 12 days ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
BMCBI
2006
14 years 11 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...