Sciweavers

1284 search results - page 16 / 257
» Connectivity in Bag Generation
Sort
View
CSE
2009
IEEE
15 years 1 months ago
Optimization of Component Connections for an Embedded Component System
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
Takuya Azumi, Hiroaki Takada, Hiroshi Oyama
ACL
1998
14 years 11 months ago
Tense and Connective Constraints on the Expression of Causality
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
Pascal Amsili, Corinne Rossari
ENDM
2007
75views more  ENDM 2007»
14 years 9 months ago
Graph classes with given 3-connected components: asymptotic counting and critical phenomena
Fix a family T of 3-connected graphs, and let G be the class of graphs whose 3connected components are the graphs in T . We present a general framework for analyzing such graph cl...
Omer Giménez, Marc Noy, Juan José Ru...
FASE
2009
Springer
15 years 4 months ago
A Formal Connection between Security Automata and JML Annotations
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
Marieke Huisman, Alejandro Tamalet
78
Voted
ESANN
2008
14 years 11 months ago
Simulation of a recurrent neurointerface with sparse electrical connections
With the technical development of multi-electrode arrays, the monitoring of many individual neurons has become feasible. However, for practical use of those arrays as bidirectional...
Andreas Herzog, Karsten Kube, Bernd Michaelis, Ana...