1246 search results - page 166 / 250 » Online testing with model programs |
115
Voted
SIGSOFT
2009
ACM
15 years 7 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
110
click to vote
UML
2001
Springer
15 years 5 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
117
click to vote
SODA
2012
ACM
13 years 3 months ago
2012
ACM
We propose a general dual-fitting technique for analyzing online scheduling algorithms in the unrelated machines setting where the objective function involves weighted flow-time...
109
click to vote
JTRES
2009
ACM
15 years 5 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
105
click to vote
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...