Sciweavers

530 search results - page 6 / 106
» Net Generation Culture
Sort
View
ATAL
2008
Springer
13 years 9 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
ICWE
2010
Springer
13 years 6 months ago
Automated Generation of Itineraries in Recommender Systems for Tourism
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
Pierpaolo Di Bitonto, Francesco Di Tria, Maria Lat...
APN
2007
Springer
14 years 2 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
IUI
2005
ACM
14 years 1 months ago
Personal reporting of a museum visit as an entrypoint to future cultural experience
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
Charles B. Callaway, Tsvi Kuflik, Elena Not, Aless...
APN
2001
Springer
13 years 11 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen