Sciweavers

1015 search results - page 47 / 203
» New Area Management Method Based on
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 9 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ICSE
2009
IEEE-ACM
15 years 10 months ago
Toward deeply adaptive societies of digital systems
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
Antonio Carzaniga, Giovanni Denaro, Mauro Pezz&egr...
COMAD
2009
15 years 1 months ago
Similarity Search in Moving Object Trajectories
The continuous and rapid advent in mobile and communications technology opens the way for new research areas and new applications. Moving Object Databases(MODs) are among the emer...
Omnia Ossama Hoda, M. O. Mokhtar
138
Voted
ASPDAC
2004
ACM
107views Hardware» more  ASPDAC 2004»
15 years 9 months ago
Minimization of the expected path length in BDDs based on local changes
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
Rüdiger Ebendt, Wolfgang Günther, Rolf D...
CGI
2003
IEEE
15 years 7 months ago
Cut-and-Paste Editing Based on Constrained B-spline Volume Fitting
This paper proposes an advanced cut-and-paste editing for three-dimensional models. We introduce a new parameterization technique based on constrained B-spline surface/volume fitt...
Yoshiyuki Furukawa, Hiroshi Masuda, Kenjiro T. Miu...