3516 search results - page 681 / 704 » Integrating Security Modeling into Embedded System Design |
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
E4MAS
2004
Springer
14 years 2 months ago
2004
Springer
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...