4476 search results - page 493 / 896 » Modeling software architectures in the Unified Modeling Lang... |
180
click to vote
COMPSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
204
click to vote
EUROSYS
2008
ACM
16 years 4 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
211
click to vote
ESEC
1999
Springer
15 years 12 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
232
click to vote
CN
2004
15 years 7 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
224
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...