714 search results - page 124 / 143 » Formal Verification of Cognitive Models |
102
click to vote
ICIS
2003
15 years 3 months ago
2003
ThelinkagesbetweenISandbusinessunitsarerecognizedasbeingcriticaltoinformationsystemsdevelopment processes and outcomes. Previous research has found that they are associated with b...
122
click to vote
ENTCS
2006
15 years 1 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
111
click to vote
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
142
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
251
click to vote
GIS
2006
ACM
16 years 2 months ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...