Sciweavers

4856 search results - page 36 / 972
» Concept formation in design
Sort
View
MAAMAW
1993
Springer
14 years 22 days ago
Coalition Formation Among Autonomous Agents: Strategies and Complexity
Autonomous agents are designed to reach goals that were pre-de ned by their operators. An important way to execute tasks and to maximize payo is to share resources and to cooperate...
Onn Shehory, Sarit Kraus
INFOCOM
2009
IEEE
14 years 3 months ago
Topology Formation for Wireless Mesh Network Planning
—Wireless mesh networks are becoming prevalent in providing access infrastructure to the public. Design of such networks involve several important goals including resilience to f...
Chun-cheng Chen, Chandra Chekuri, D. Klabjan
SEFM
2005
IEEE
14 years 2 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
EMISA
2005
Springer
14 years 2 months ago
Representing Generalization/Specialization in XML Schema
: XML is an effective universal data-interchange format, and XML Schema has become the preeminent mechanism for describing valid XML document structures. Generalization/specializat...
Reema Al-Kamha, David W. Embley, Stephen W. Liddle
BPM
2006
Springer
109views Business» more  BPM 2006»
14 years 11 days ago
A Generic Import Framework for Process Event Logs
Abstract. The application of process mining techniques to real-life corporate environments has been of an ad-hoc nature so far, focused on proving the concept. One major reason for...
Christian W. Günther, Wil M. P. van der Aalst