1525 search results - page 258 / 305 » Formal Models for Communication-Based Design |
98
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
DEEC
2005
IEEE
15 years 6 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
101
Voted
FC
2005
Springer
15 years 6 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...