Sciweavers

4919 search results - page 832 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
88
Voted
MITJSME
1989
15 years 2 months ago
Cooperation in Aircraft Design
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
Alan H. Bond, Richard J. Ricci
AOSD
2009
ACM
15 years 16 days ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
SADFE
2008
IEEE
15 years 4 months ago
Computer Forensics in Forensis
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
Sean Peisert, Matt Bishop, Keith Marzullo
90
Voted
SIGOPS
2010
130views more  SIGOPS 2010»
14 years 8 months ago
Storing and accessing live mashup content in the cloud
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
Krzysztof Ostrowski, Ken Birman
117
Voted
POPL
2011
ACM
14 years 29 days ago
Making prophecies with decision predicates
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
Byron Cook, Eric Koskinen