2328 search results - page 173 / 466 » Component Frameworks - A Case Study |
137
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
253
click to vote
VLDB
2008
ACM
16 years 5 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
131
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
111
Voted
WOTUG
2008
15 years 6 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
116
Voted
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...