849 search results - page 71 / 170 » A survey of state vectors |
156
click to vote
GTTSE
2007
Springer
16 years 10 days ago
2007
Springer
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
129
click to vote
WER
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we present initial findings from an empirical study that has been conducted with 13 marketdriven software companies based in Recife, Brazil. The objective of the stu...
146
click to vote
WSFM
2007
Springer
16 years 8 days ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
190
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
141
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
The concept of affordance as it applies to user interface design is widely used and accepted; possibly overused. This paper explores one of the constraints on affordance: culture....