10055 search results - page 295 / 2011 » Structured programming using processes |
119
click to vote
CICLING
2007
Springer
15 years 8 months 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...
112
Voted
SPIN
2009
Springer
15 years 8 months 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’...
115
click to vote
HICSS
2002
IEEE
15 years 7 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...
105
click to vote
AINA
2008
IEEE
15 years 8 months 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...
108
click to vote
KBSE
2005
IEEE
15 years 7 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,...