1266 search results - page 172 / 254 » A Historical View of Context |
177
click to vote
ISEUD
2009
Springer
16 years 1 months ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
182
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
193
click to vote
SOCO
2009
Springer
16 years 29 days ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
172
click to vote
HYBRID
2010
Springer
16 years 28 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
147
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
A virtual organization is a temporary network of companies, which implies the potential opportunity to learn and share abundant sources of complementary and compatible knowledge p...