3432 search results - page 326 / 687 » Model Development in the UML-based Specification Environment... |
228
Voted
FM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
197
Voted
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
248
click to vote
DT
2006
15 years 7 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
208
click to vote
GCC
2004
Springer
16 years 26 days ago
2004
Springer
: This paper presents an authorization solution for resource management and control developing as a part of the China Education and Research Network (CERNET) to perform fine-graine...
217
Voted
ENGL
2007
15 years 7 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...