9518 search results - page 269 / 1904 » On Mobility of Software Processes |
182
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
135
click to vote
ICSEA
2007
IEEE
16 years 29 days ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...
153
click to vote
ACRI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Polymer injection in moulds with complicated shapes is common in todays industrial problems. A challenge is to optimize the mould design which leads to the most homogeneo...
177
click to vote
RE
2004
Springer
16 years 10 hour ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...
235
click to vote
ICRE
2000
IEEE
15 years 11 months ago
2000
IEEE
BORM Object Behavior Analysis (BOBA) is a first stage in a process of object modeling which has proved successful in a wide number of applications. This paper discusses this metho...