Sciweavers

543 search results - page 75 / 109
» FMC: An Approach Towards Architecture-Centric System Develop...
Sort
View
BRAIN
2010
Springer
13 years 9 months ago
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
Yingxu Wang
ENTCS
2008
140views more  ENTCS 2008»
13 years 8 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
BERTINORO
2005
Springer
14 years 2 months ago
Self-Aware Software - Will It Become a Reality?
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent s...
Péter András, Bruce G Charlton
MEDES
2009
ACM
14 years 3 months ago
Integrated service engineering workbench: service engineering for digital ecosystems
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
Gregor Scheithauer, Konrad Voigt, Veli Bicer, Matt...
CIG
2006
IEEE
14 years 2 months ago
A Behavior-Based Architecture for Realistic Autonomous Ship Control
— Game environments provide a good domain for serious simulations such as those used in training Navy conning officers. Currently, a typical training scenario requires multiple ...
Adam Olenderski, Monica N. Nicolescu, Sushil J. Lo...