213 search results - page 36 / 43 » Introducing technology into the Linux kernel: a case study |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
JAIR
2008
13 years 7 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
13 years 2 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
ICPP
2003
IEEE
14 years 25 days ago
2003
IEEE
Multi agent systems, Grid technology, Semantic Web, and Web Intelligence paradigm are three modern approaches in information technologies, which we put together in our research eff...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Queries on major Web search engines produce complex result pages, primarily composed of two types of information: organic results, that is, short descriptions and links to relevan...