Sciweavers

9210 search results - page 356 / 1842
» Analyzing Real-Time Systems
Sort
View
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
16 years 1 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
SBIA
2004
Springer
16 years 2 days ago
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese
This paper presents DiZer, an automatic DIscourse analyZER for Brazilian Portuguese. Given a source text, the system automatically produces its corresponding rhetorical analysis, f...
Thiago Alexandre Salgueiro Pardo, Maria das Gra&cc...
FASE
2003
Springer
15 years 12 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini
189
Voted
MMMACNS
2001
Springer
15 years 11 months ago
Analyzing Separation of Duties in Petri Net Workflows
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
Konstantin Knorr, Harald Weidner
IEEESCC
2010
IEEE
15 years 10 months ago
Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives
—Gathering functionally similar agent-based Web services into communities has been proposed and promoted on many occasions. In this paper, we compare the performance of these com...
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Z...