3483 search results - page 82 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
103
Voted
SIAMSC
2010
14 years 7 months ago
2010
Abstract. We develop in this paper some efficient algorithms which are essential to implementations of spectral methods on the sparse grid by Smolyak's construction based on a...
111
Voted
WETICE
2005
IEEE
15 years 6 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
111
click to vote
SPLC
2008
15 years 2 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
102
click to vote
TR
2008
15 years 15 days ago
2008
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
124
click to vote
GI
2009
Springer
14 years 10 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...