289 search results - page 38 / 58 » Automating Checking of Models Built Using a Graphically Base... |
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
SYNASC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
SOFTVIS
2006
ACM
14 years 1 months ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...