Sciweavers

4345 search results - page 489 / 869
» Temporal Constraint Networks
Sort
View
UML
2001
Springer
15 years 11 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
ICMCS
1999
IEEE
107views Multimedia» more  ICMCS 1999»
15 years 11 months ago
Resource Negotiation for Collaborative Multimedia Presentations
Distributed multimedia documents systems, distributed video servers are examples of multimedia presentations involving collaboration among multiple information sources. In such ap...
B. Prabhakaran
CMSB
2009
Springer
15 years 10 months ago
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
Elisabetta De Maria, François Fages, Sylvai...
AIPS
2008
15 years 9 months ago
Criticality Metrics for Distributed Plan and Schedule Management
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
Rajiv T. Maheswaran, Pedro A. Szekely
ACMDIS
2008
ACM
15 years 8 months ago
Anchored mobilities: mobile technology and transnational migration
Mobile technologies are deployed into diverse social, cultural, political and geographic settings, and incorporated into diverse forms of personal and collective mobility. We pres...
Amanda Williams, Ken Anderson, Paul Dourish