Sciweavers

12670 search results - page 327 / 2534
» Requirements Modeling
Sort
View
PADS
2009
ACM
16 years 1 months ago
Causal Program Slicing
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
Ross Gore, Paul F. Reynolds Jr.
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
16 years 24 days ago
A systematic IP and bus subsystem modeling for platform-based system design
The topic on platform-based system modeling has received a great deal of attention today. One of the important tasks that significantly affect the effectiveness and efficiency of ...
Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-...
HASE
2008
IEEE
16 years 1 months ago
Formalize UML 2 Sequence Diagrams
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
Hui Shen, Aliya Virani, Jianwei Niu
167
Voted
WETICE
2006
IEEE
16 years 22 days ago
Authorisation Using Attributes from Multiple Authorities
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....
David W. Chadwick
ALT
2006
Springer
15 years 10 months ago
Learning and Extending Sublanguages
A number of natural models for learning in the limit is introduced to deal with the situation when a learner is required to provide a grammar covering the input even if only a par...
Sanjay Jain, Efim B. Kinber