1952 search results - page 107 / 391 » Designing for appropriation |
153
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
166
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Agents are a potential technology with many applications. It is urgent to develop appropriate methodologies for the development and deployment of agent-oriented applications. This ...
168
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
122
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
162
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Syntactic analysis forms a foundation of many source analysis and reverse engineering tools. However, a single grammar is not always appropriate for all source analysis and manipu...