Sciweavers

1809 search results - page 59 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
SIGSOFT
2005
ACM
15 years 10 months ago
CHARMY: an extensible tool for architectural analysis
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
Paola Inverardi, Henry Muccini, Patrizio Pelliccio...
ISORC
2007
IEEE
15 years 4 months ago
Security Analysis of the Utilization of Corba Object References as Authorization Tokens
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
Christoph Becker, Sebastian Staamann, Ralf Salomon
ACRI
2004
Springer
15 years 3 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
ER
2000
Springer
126views Database» more  ER 2000»
15 years 1 months ago
Tool Support for Reuse of Analysis Patterns - A Case Study
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...
Petia Wohed
INFORMATICALT
2008
92views more  INFORMATICALT 2008»
14 years 9 months ago
On Structural Analysis of Parliamentarian Voting Data
We investigate applicability of quantitative methods to discover the most fundamental structural properties of the most reliable political data in Lithuania. Namely, we analyze vot...
Tomas Krilavicius, Antanas Zilinskas