1121 search results - page 121 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
151
Voted
DMSN
2009
ACM
15 years 8 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
134
click to vote
SAC
2010
ACM
14 years 8 months ago
2010
ACM
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
124
Voted
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...
137
Voted
ICDM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
116
click to vote
IPL
2010
15 years 9 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...