4418 search results - page 398 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
170
click to vote
WIESS
2000
15 years 8 months ago
2000
Our research is motivated by the scaleability, availability, and extensibility challenges in deploying open systems based, enterprise operational applications. We present Delta�...
184
click to vote
SE
2008
15 years 8 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
192
click to vote
IWCMC
2009
ACM
15 years 11 months ago
2009
ACM
Abstract- In this paper, we investigate the use of a crosslayer allocation mechanism for the high-rate ultra-wideband (UWB) systems. The aim of this paper is twofold. First, throug...
243
Voted
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
284
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Emerging applications such as personalized portals, enterprise search and web integration systems often require keyword search over semi-structured views. However, traditional inf...