Sciweavers

2386 search results - page 401 / 478
» Representing and Reasoning with Preferences
Sort
View
IJIT
2004
14 years 11 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
FORTE
2001
14 years 11 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
ICHIM
2001
139views more  ICHIM 2001»
14 years 11 months ago
Automated 3D Recording of Archaeological Pottery
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...
Martin Kampel, Robert Sablatnig
IQ
2001
14 years 11 months ago
Improving the Quality of Corporate Household Data: Current Practices and Research Directions
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
Stuart E. Madnick, Richard Y. Wang, Frank Dravis, ...
JIISIC
2001
14 years 11 months ago
Knowledge Component of a Multiagent Distributed Decision Support System
We have developed a distributed DSS capable to working in a dynamic way. That is, when a domain of an organization needs a new kind of information, the system looks for this infor...
Georgina Stegmayer, María Laura Caliusco, O...