2050 search results - page 105 / 410 » A formal foundation for process modeling |
180
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
301
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
176
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
144
click to vote
ICASSP
2008
IEEE
16 years 25 days ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...
258
click to vote
ISPW
2011
IEEE
14 years 10 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...