1827 search results - page 355 / 366 » Modeling the User Interface of Web Applications with UML |
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
126
click to vote
CAISE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
106
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
72
Voted
PDP
2010
IEEE
15 years 6 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...