6768 search results - page 1073 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
131
click to vote
LISP
2002
15 years 4 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
150
click to vote
RBAC
2000
15 years 5 months ago
2000
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...
145
click to vote
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with mult...
141
click to vote
JILP
2000
15 years 4 months ago
2000
A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. A large program, especially a GUI-based a...
144
click to vote
ISEUD
2009
Springer
15 years 11 months ago
2009
Springer
All software today is written using libraries, toolkits, frameworks and other application programming interfaces (APIs). We performed a user study of the online documentation a lar...