Sciweavers

1027 search results - page 42 / 206
» A Model for Java with Wildcards
Sort
View
88
Voted
ICAS
2005
IEEE
108views Robotics» more  ICAS 2005»
15 years 8 months ago
Quality Assured Ad Hoc Grids
This paper presents an integrated architecture for ad hoc Grids developed within the Java CoG Kit project. It provides an overview of the key component frameworks that collectivel...
Kaizar Amin, Gregor von Laszewski, Armin R. Mikler
APN
2004
Springer
15 years 8 months ago
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
Olaf Kummer, Frank Wienberg, Michael Duvigneau, J&...
USS
2008
15 years 4 months ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
134
Voted
DGO
2009
89views Education» more  DGO 2009»
15 years 3 months ago
Top-level decisions through public deliberation on the internet: evidence from the evolution of Java governance
This study found internet-enabled public deliberation having a direct impact on top-level decisions and it identified institutional mechanisms by which this occurs. Most governmen...
Michael Kaschesky, Reinhard Riedl
149
Voted
IAT
2010
IEEE
15 years 17 days ago
Modular JADE Agents Design and Implementation Using ASEME
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
Nikolaos I. Spanoudakis, Pavlos Moraitis