Sciweavers

1315 search results - page 238 / 263
» Towards Requirements Engineering for Context Adaptive System...
Sort
View
3DGIS
2006
Springer
15 years 7 months ago
The Application of GIS in Maritime Boundary Delimitation
The Democratic Republic of Timor-Leste (East Timor) attained independence on 20 May 2002, marking its separation from Indonesia. As a newly independent country, East Timor is face...
I Made Andi Arsana, Chris Rizos, Clive Schofield
ASPDAC
2005
ACM
97views Hardware» more  ASPDAC 2005»
15 years 7 months ago
Opportunities and challenges for better than worst-case design
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
Todd M. Austin, Valeria Bertacco, David Blaauw, Tr...
PRESENCE
2008
185views more  PRESENCE 2008»
15 years 1 months ago
Pilot Evaluation Study of a Virtual Paracentesis Simulator for Skill Training and Assessment: The Beneficial Effect of Haptic Di
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
Costas S. Tzafestas, Kostas Birbas, Yiannis Koumpo...
AOSD
2003
ACM
15 years 6 months ago
Quantifying aspects in middleware platforms
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
Charles Zhang, Hans-Arno Jacobsen
FOSSACS
2005
Springer
15 years 7 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto