8828 search results - page 1500 / 1766 » Formal methods in practice |
200
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic voltage scaling (DVS) is being increasingly used for power management in embedded systems. Energy is a scarce resource in embedded real-time systems and energy consumption...
189
Voted
INCDM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Intrusion Detection Systems (IDSs) which have been deployed in computer networks to detect a wide variety of attacks are suffering how to manage of a large number of tri...
183
click to vote
COMPGEOM
2009
ACM
15 years 11 months ago
2009
ACM
The k-means algorithm is a well-known method for partitioning n points that lie in the d-dimensional space into k clusters. Its main features are simplicity and speed in practice....
169
Voted
MOBICOM
2009
ACM
15 years 11 months ago
2009
ACM
We consider the problem of cross-band interference when devices from the same or different networks share radio spectrum. Cross-band interference occurs when unsynchronized trans...
185
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...