Sciweavers

7941 search results - page 1304 / 1589
» Network Analysis of Repositories
Sort
View
ANOR
2010
97views more  ANOR 2010»
15 years 4 months ago
Quality competition for screening and treatment services
This paper examines how quality for one type of preventive health care services, screening services are determined under competition and explores its links with the treatment servi...
Evrim D. Günes, Stephen E. Chick, Luk N. Van ...
CJ
2010
105views more  CJ 2010»
15 years 4 months ago
Efficient Semantic Information Exchange for Ambient Intelligence
This paper studies semantic efficiency measures for ambient intelligence. We follow an agent-based approach and investigate how large quantities of information can be efficiently ...
Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M....
CORR
2011
Springer
339views Education» more  CORR 2011»
15 years 1 months ago
Context Capture in Software Development
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
Bruno Antunes, Francisco Correia, Paulo Gomes
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
IANDO
2010
112views more  IANDO 2010»
15 years 1 months ago
Generative mechanisms for innovation in information infrastructures
This paper investigates how innovation of ICT based services takes place within existing infrastructures, including the whole network of technology, vendors and customers. Our res...
Bendik Bygstad
« Prev « First page 1304 / 1589 Last » Next »