9518 search results - page 1563 / 1904 » On Mobility of Software Processes |
168
click to vote
IPSN
2007
Springer
16 years 27 days ago
2007
Springer
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...
163
click to vote
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
184
click to vote
REFSQ
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
179
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
207
click to vote
ACSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...