3828 search results - page 126 / 766 » Proof-Based System Engineering Using a Virtual System Model |
155
click to vote
PPPJ
2009
ACM
15 years 12 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
153
Voted
IVA
2010
Springer
15 years 3 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
190
click to vote
VEE
2009
ACM
15 years 12 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
175
Voted
COOPIS
1995
IEEE
15 years 8 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
126
Voted
HICSS
1997
IEEE
15 years 9 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...