Sciweavers

11168 search results - page 263 / 2234
» Abstract State Processes
Sort
View
184
Voted
MKWI
2008
151views Business» more  MKWI 2008»
15 years 8 months ago
Towards A Formal Framework for Business Process Compliance
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
Kioumars Namiri, Nenad Stojanovic
212
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Ambiguity functions of compressively sensed and processed radar waveforms
Compressive sensing and processing delivers high resolution data using reduced sampling rates and computational effort compared to Nyquist sensing and processing. Compressive proc...
Ioannis Kyriakides
CONCUR
2009
Springer
16 years 1 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
DEXAW
2000
IEEE
68views Database» more  DEXAW 2000»
15 years 11 months ago
Relocation in Mobile Process-Centered Software Development Environments
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
S. Bhattacharyya, Leon J. Osterweil
ICSE
1999
IEEE-ACM
15 years 11 months ago
Software Process Support over the Internet
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
Frank Maurer, Giancarlo Succi, Harald Holz, Boris ...