Sciweavers

6174 search results - page 162 / 1235
» The language of social software
Sort
View
JTRES
2010
ACM
15 years 6 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
ISPW
2005
IEEE
16 years 2 days ago
Process Definition Language Support for Rapid Simulation Prototyping
This paper suggests how an appropriately designed and architected process definition language can be an effective aid to the rapid generation of simulations, which are, in turn, ca...
Mohammad S. Raunak, Leon J. Osterweil
APSEC
2004
IEEE
15 years 10 months ago
Architecture Modeling Language based on UML2.0
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
Sunghwan Roh, Kyungrae Kim, Taewoong Jeon
TIC
2000
Springer
116views System Software» more  TIC 2000»
15 years 10 months ago
Sharing in Typed Module Assembly Language
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
Dominic Duggan
CSE
2009
IEEE
16 years 1 months ago
Implementing Social Norms Using Policies
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
Robert Kremer