Sciweavers

96 search results - page 13 / 20
» Minerva: An Artificial Intelligent System for Composition of...
Sort
View
BEHAVIOURIT
2011
14 years 6 months ago
Identity crisis: user perspectives on multiplicity and control in federated identity management
The research presented in this paper reports on three phases of an empirical user study that examines the relationship between identity and technology using contextual interviews,...
Christine Satchell, Graeme G. Shanks, Steve Howard...
TWC
2010
14 years 6 months ago
Optimized opportunistic multicast scheduling (OMS) over wireless cellular networks
Optimized opportunistic multicast scheduling (OMS) is studied for cellular networks, where the problem of efficiently transmitting a common set of fountain-encoded data from a sin...
Tze-Ping Low, Man-On Pun, Yao-Win Peter Hong, C.-C...
APN
2004
Springer
15 years 5 months ago
On the Use of Coloured Petri Nets for Object-Oriented Design
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
João Paulo Barros, Luís Gomes
APN
2010
Springer
15 years 4 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
AIIDE
2006
15 years 1 months ago
Representational Requirements for a Plan Based Approach to Automated Camera Control
Automated camera control has been an active area of research for a number of years. The problem has been addressed in the Graphics, AI and Game communities from different perspect...
Arnav Jhala, R. Michael Young