555 search results - page 84 / 111 » Software, regulation, and domain specificity |
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
PLPV
2010
ACM
13 years 11 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
ESEM
2010
ACM
13 years 10 months ago
2010
ACM
Though very important in software engineering, linking artifacts of the same type (clone detection) or of different types (traceability recovery) is extremely tedious, error-prone...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Remote presentation is an interesting model for executing applications in mobile devices, since applications can be executed on a server and their interfaces displayed on mobile c...
ICOODB
2010
13 years 7 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...