6149 search results - page 172 / 1230 » Revealing the programming process |
124
Voted
EUROSYS
2007
ACM
16 years 14 days ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
138
click to vote
DNA
2009
Springer
15 years 10 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...
97
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
121
Voted
AGILEDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Most significant software processes involve a wide range of disciplines, from programming to testing, and from documentation to database development. Unfortunately, agile processe...
127
click to vote
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...