10055 search results - page 295 / 2011 » Structured programming using processes |
174
click to vote
CICLING
2007
Springer
16 years 17 days ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
167
click to vote
SPIN
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
163
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe an approach to healthcare coordination using object life cycles (OLCs) [1]. By consulting the OLC of a given patient object instance, the legal methods to apply to tha...
150
click to vote
AINA
2008
IEEE
16 years 26 days ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
158
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...