893 search results - page 147 / 179 » Modeling reactive systems in Java |
133
click to vote
SMARTNET
2000
15 years 3 months ago
2000
During the recent years of research on mobile agents, significant effort has been directed towards the identification of models of agent mobility suitable for network management a...
125
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
172
Voted
ACSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
124
Voted
ISICT
2004
15 years 3 months ago
2004
Web applications have become the major means to allow ubiquitous access to backend systems via a web browser. Several technologies such as JSP, ASP.NET, or Java Server Faces exist ...
126
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...