Sciweavers

3706 search results - page 210 / 742
» KtSeqC: System Description
Sort
View
ICST
2008
IEEE
16 years 1 months ago
Scheduling Timed Modules for Correct Resource Sharing
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
Cristina Cerschi Seceleanu, Paul Pettersson, Hans ...
ANSS
2006
IEEE
16 years 21 days ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
HICSS
2006
IEEE
100views Biometrics» more  HICSS 2006»
16 years 21 days ago
Hotlist or Bibliography? A Case of Genre on the Web
Bibliography—the collection, description, and arrangement of information items—is a vibrant activity and a popular form of expression on the internet. Yet, fashionable forms o...
David G. Hendry, Allyson Carlyle
COOPIS
2002
IEEE
15 years 11 months ago
Open Mind Common Sense: Knowledge Acquisition from the General Public
Abstract. Open Mind Common Sense is a knowledge acquisition system designed to acquire commonsense knowledge from the general public over the web. We describe and evaluate our firs...
Push Singh, Thomas Lin, Erik T. Mueller, Grace Lim...
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 5 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen