CF
2009
ACM
13 years 10 months ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
BIRTHDAY
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
BIRTHDAY
2009
Springer
13 years 10 months ago
2009
Springer
BIRTHDAY
2009
Springer
13 years 10 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
BIRTHDAY
2009
Springer
13 years 10 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
UIC
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we present a real-time obstacle detection system for the mobility improvement for the visually impaired using a handheld Smartphone. Though there are many existing a...
UC
2010
Springer
13 years 10 months ago
2010
Springer
We study Life-like cellular automaton rule B2/S2345. This automaton exhibits a chaotic behavior yet capable for purposeful computation. The automaton implements Boolean gates via p...
UC
2010
Springer
13 years 10 months ago
2010
Springer
The information processing capabilities of many proteins are currently unexplored. The complexities and high dimensional parameter spaces make their investigation impractical. Diff...
UC
2010
Springer
13 years 10 months ago
2010
Springer
TGC
2010
Springer
13 years 10 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...