8008 search results - page 1121 / 1602 » Computer-Aided Language Processing |
139
click to vote
IEEESCC
2008
IEEE
15 years 11 months ago
2008
IEEE
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, an...
121
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...
153
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
149
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper the concept of a reconfigurable hardware macro to be used as a generic building block in lowpower, low-cost SoC for multioperable GNSS positioning is described, feat...
139
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...