1660 search results - page 253 / 332 » Abstract Application Modeling for System Design Space Explor... |
114
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
120
Voted
STTT
1998
15 years 3 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
116
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
148
Voted
EUSAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We explore the use of ubiquitous sensing in the home for contextsensitive microlearning. To assess how users would respond to frequent and brief learning interactions tie...
161
Voted
BRAIN
2010
Springer
15 years 4 months ago
2010
Springer
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...