1304 search results - page 90 / 261 » Model-Driven Engineering for Requirements Analysis |
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
DAS
2006
Springer
14 years 12 months ago
2006
Springer
Accessing the structured content of PDF document is a difficult task, requiring pre-processing and reverse engineering techniques. In this paper, we first present different methods...
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
RR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
One of the major challenges in IT security management is determining how much to spend and where to spend. This requires understanding of the economic issues regarding IT security...