Sciweavers

1884 search results - page 274 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
ENTCS
2006
127views more  ENTCS 2006»
15 years 1 months ago
Capability-Passing Processes
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
Tom Chothia, Dominic Duggan
AAECC
1999
Springer
78views Algorithms» more  AAECC 1999»
15 years 1 months ago
Properties of Finite Response Input Sequences of Recursive Convolutional Codes
Abstract. A recursive convolutional encoder can be regarded as an innite impulse response system over the Galois Field of order 2. First, in this paper, we introduce nite response ...
Didier Le Ruyet, Hong Sun, Han Vu Thien
TELSYS
2002
104views more  TELSYS 2002»
15 years 1 months ago
The Analysis of Queues with Time-Varying Rates for Telecommunication Models
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...
William A. Massey
138
Voted
JOT
2010
173views more  JOT 2010»
15 years 2 days ago
A Dependence Representation for Coverage Testing of Object-Oriented Programs
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
E. S. F. Najumudheen, Rajib Mall, Debasis Samanta
232
Voted
ISMIS
2011
Springer
14 years 4 months ago
Data Access Paths in Processing of Sets of Frequent Itemset Queries
Abstract. Frequent itemset mining can be regarded as advanced database querying where a user specifies the dataset to be mined and constraints to be satisfied by the discovered i...
Piotr Jedrzejczak, Marek Wojciechowski