Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
15644
search results - page 227 / 3129
»
Brittle System Analysis
Sort
relevance
views
votes
recent
update
View
thumb
title
149
click to vote
ACMSE
2007
ACM
102
views
Theoretical Computer Science
»
more
ACMSE 2007
»
A taxonomy of discovery services and gap analysis for ultra-large scale systems
15 years 10 months ago
Download
www.cs.wustl.edu
Joe Hoffert, Shanshan Jiang, Douglas C. Schmidt
claim paper
Read More »
145
click to vote
ANCS
2007
ACM
109
views
Computer Networks
»
more
ANCS 2007
»
Enhancing interoperability and stateful analysis of cooperative network intrusion detection systems
15 years 10 months ago
Download
www.cse.wustl.edu
Michele Colajanni, Daniele Gozzi, Mirco Marchetti
claim paper
Read More »
176
click to vote
FSEN
2009
Springer
147
views
Software Engineering
»
more
FSEN 2009
»
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
15 years 10 months ago
Download
www.cs.aau.dk
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
claim paper
Read More »
154
click to vote
AOSE
2006
Springer
92
views
Intelligent Agents
»
more
AOSE 2006
»
Modeling Mental States in the Analysis of Multiagent Systems Requirements
15 years 10 months ago
Download
www.cs.toronto.edu
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
Alexei Lapouchnian, Yves Lespérance
claim paper
Read More »
140
click to vote
COMPSAC
2004
IEEE
101
views
Software Engineering
»
more
COMPSAC 2004
»
Using FMEA for Early Robustness Analysis of Web-Based Systems
15 years 10 months ago
Download
www.fmeainfocentre.com
Jianyun Zhou, Tor Stålhane
claim paper
Read More »
« Prev
« First
page 227 / 3129
Last »
Next »