10055 search results - page 324 / 2011 » Structured programming using processes |
102
click to vote
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
The trend towards outsourcing increases the number of documents stored at external service providers. This storage model, however, raises privacy and security concerns because the...
107
Voted
CONCUR
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
138
Voted
LREC
2010
14 years 11 months ago
2010
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
111
click to vote
DNA
2009
Springer
15 years 7 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Speed and Accuracy of programming large floating gate array is limited by precision of current measurement and pulse generator. In this paper a novel floating gate programming m...