6960 search results - page 93 / 1392 » Continuity Analysis of Programs |
137
Voted
SOCA
2008
IEEE
15 years 2 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
EOR
2002
15 years 2 months ago
2002
ct 9 The new concepts of repelling inequalities, repelling paths, and prime analytic centers are introduced. A repelling 10 path is a generalization of the analytic central path fo...
156
click to vote
TSE
2011
14 years 10 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
110
click to vote
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
COLING
1994
15 years 4 months ago
1994
This paper describes a set of computer programs for Chinese corpus analysis. These programs include (1) extraction of different characters, bigrams and words; (2) word segmentatio...