4290 search results - page 175 / 858 » Formal Approaches to Teamwork |
180
click to vote
SMC
2007
IEEE
16 years 27 days ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
206
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
188
click to vote
RSEISP
2007
Springer
16 years 22 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
165
click to vote
GLVLSI
2006
IEEE
16 years 20 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
177
click to vote
DIGRA
2005
Springer
16 years 4 days ago
2005
Springer
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...