14169 search results - page 284 / 2834 » Tabular application development |
219
click to vote
WETICE
2005
IEEE
16 years 23 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...
189
click to vote
CBSE
2005
Springer
16 years 22 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...
231
Voted
ACMICEC
2004
ACM
16 years 19 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...
226
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
16 years 18 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...
254
click to vote
SC
2003
ACM
16 years 13 days 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...