1886 search results - page 344 / 378 » Modeling and Enacting Software Processes Using VRPML |
141
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
108
click to vote
IUI
2004
ACM
15 years 8 months ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
158
click to vote
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
128
Voted
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
140
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...