6768 search results - page 1073 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
165
click to vote
LISP
2002
15 years 6 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...
180
click to vote
RBAC
2000
15 years 8 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...
184
click to vote
ICDCS
2010
IEEE
15 years 6 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...
182
click to vote
JILP
2000
15 years 6 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...
184
click to vote
ISEUD
2009
Springer
16 years 1 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...