14169 search results - page 284 / 2834 » Tabular application development |
200
click to vote
WETICE
2005
IEEE
16 years 7 days 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...
171
click to vote
CBSE
2005
Springer
16 years 6 days ago
2005
Springer
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
210
click to vote
ACMICEC
2004
ACM
16 years 3 days ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
213
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
16 years 2 days ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
234
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
In this showcase we will present live running simulations which are integrated into the Access Grid in a variety of different ways. An example of this is the use of vncto distrib...