Sciweavers

4917 search results - page 134 / 984
» Software Engineering is Not Computer Science
Sort
View
ICMT
2010
Springer
15 years 7 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
COMPSAC
2004
IEEE
15 years 6 months ago
Materializing Ubiquitous Computing Environments
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
Kimio Kuramitsu, Hideyuki Tokuda
ICSE
2004
IEEE-ACM
15 years 7 months ago
Semantics-Aware Services for the Mobile Computing Environment
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tart...
IWPC
1999
IEEE
15 years 6 months ago
The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
Christoph W. Keßler, Craig Smith
FOSSACS
2011
Springer
14 years 6 months ago
Coalgebraic Walks, in Quantum and Turing Computation
The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of...
Bart Jacobs