Sciweavers

101 search results - page 17 / 21
» Focus Group: Metaphor in Software Development
Sort
View
EUROMICRO
2009
IEEE
13 years 11 months ago
Using JavaBeans to Realize a Domain-Specific Component Model
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
Juraj Feljan, Jan Carlson, Mario Zagar
WSC
2008
13 years 9 months ago
Industrial enterprises business processes simulation with BPsim.MAS
Necessity to mind a huge amount of factors while developing modern enterprises models dictates new requirements for modeling software, which needs to process all data to achieve p...
Konstantin A. Aksyonov, Eugene A. Bykov, Elena F. ...
PLDI
2005
ACM
14 years 1 months ago
Programming by sketching for bit-streaming programs
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
Armando Solar-Lezama, Rodric M. Rabbah, Rastislav ...
MMS
2006
13 years 7 months ago
A Generic Agent-based Peer-to-Peer Infrastructure for Social-mobile Applications
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
Steffen Kern, Torsten Dettborn, Ronny Eckhaus, Yan...
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
13 years 11 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm