Sciweavers

5085 search results - page 254 / 1017
» Multidimensional Design by Examples
Sort
View
TASE
2012
IEEE
14 years 2 months ago
Discrete-Event Coordination Design for Distributed Agents
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
Manh Tung Pham, Kiam Tian Seow
CHI
2009
ACM
16 years 7 months ago
Productive love: a new approach for designing affective technology
The importance of love is reflected in literature, movies and music, therefore it seems necessary to understand what role technology plays in relation to love and the roles it cou...
Ramon Solves Pujol, Hiroyuki Umemuro
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 17 days ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
INFOCOM
2006
IEEE
16 years 16 days ago
Capacity-Constrained Design of Resilient Multi-Tier Wireless Mesh Networks
nts etc.), an abstract graph of the deployment area and QoS constraints to generate appropriate logical topologies. WIND starts with the set of network elements to be deployed (Nod...
R. Raghuraman, Sridhar Iyer
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
16 years 1 days ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev