6796 search results - page 1284 / 1360 » Java for Embedded Systems |
135
click to vote
SERA
2004
Springer
15 years 7 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
125
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
119
Voted
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
131
click to vote
SACMAT
2003
ACM
15 years 7 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
129
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...